Set-theoretic duality: A fundamental feature of combinatorial optimisation

The duality between conflicts and diagnoses in the field of diagnosis, or between plans and landmarks in the field of planning, or between unsatisfiable cores and minimal co-satisfiable sets in SAT or CSP solving, has been known for many years. Recent wo

Classical versions of BCI, BCK and BCIW logics

The question is, is there a formula X, independent of B,C,K1, I and W that creates distinct subclassical logics BCIX,BCKX and BCIWX, while BCKWX is the full classical implicational logic TV

Incremental Lower Bounds for Additive Cost Planning Problems

We present a novel method for computing increasing lower bounds on the cost of solving planning problems, based on repeatedly solving and strengthening the delete relaxation of the problem. Strengthening is done by compiling select conjunctions into new atoms, similar to the P*m construction. Because it does not rely on search in the state space, this method does not suffer some of the weaknesses of admissible search algorithms and therefore is able to prove higher lower bounds for many problems that are too hard for optimal planners to solve, thus narrowing the gap between lower bound and cost of the best known plan, providing better assurances of plan quality

Decision-theoretic planning with non-Markovian rewards

A decision process in which rewards depend on history rather than merely on the current state is called a decision process with non-Markovian rewards (NMRDP). In decision-theoretic planning, where many desirable behaviours are more naturally expressed a

Identification and characterization of an inhibitory fibroblast growth factor receptor 2 (FGFR2) molecule, up-regulated in an Apert Syndrome mouse model

AS (Apert syndrome) is a congenital disease composed of skeletal, visceral and neural abnormalities, caused by dominant-acting mutations in FGFR2 [FGF (fibroblast growth factor) receptor 2]. Multiple FGFR2 splice variants are generated through alternative splicing, including PTC (premature termination codon)-containing transcripts that are normally eliminated via the NMD (nonsense-mediated decay) pathway. We have discovered that a soluble truncated FGFR2 molecule encoded by a PTC-containing transcript is up-regulated and persists in tissues of an AS mouse model. We have termed this IIIa–TM as it arises from aberrant splicing of FGFR2 exon 7 (IIIa) into exon 10 [TM (transmembrane domain)]. IIIa–TM is glycosylated and can modulate the binding of FGF1 to FGFR2 molecules in BIAcore-binding assays. We also show that IIIa–TM can negatively regulate FGF signalling in vitro and in vivo. AS phenotypes are thought to result from gain-of-FGFR2 signalling, but our findings suggest that IIIa–TM can contribute to these through a loss-of-FGFR2 function mechanism. Moreover, our findings raise the interesting possibility that FGFR2 signalling may be a regulator of the NMD pathway

People Efficiently Explore the Solution Space of the Computationally Intractable Traveling Salesman Problem to Find Near-Optimal Tours

Humans need to solve computationally intractable problems such as visual search, categorization, and simultaneous learning and acting, yet an increasing body of evidence suggests that their solutions to instantiations of these problems are near optimal. Computational complexity advances an explanation to this apparent paradox: (1) only a small portion of instances of such problems are actually hard, and (2) successful heuristics exploit structural properties of the typical instance to selectively improve parts that are likely to be sub-optimal. We hypothesize that these two ideas largely account for the good performance of humans on computationally hard problems. We tested part of this hypothesis by studying the solutions of 28 participants to 28 instances of the Euclidean Traveling Salesman Problem (TSP). Participants were provided feedback on the cost of their solutions and were allowed unlimited solution attempts (trials). We found a significant improvement between the first and last trials and that solutions are significantly different from random tours that follow the convex hull and do not have self-crossings. More importantly, we found that participants modified their current better solutions in such a way that edges belonging to the optimal solution (“good” edges) were significantly more likely to stay than other edges (“bad” edges), a hallmark of structural exploitation. We found, however, that more trials harmed the participants' ability to tell good from bad edges, suggesting that after too many trials the participants “ran out of ideas.” In sum, we provide the first demonstration of significant performance improvement on the TSP under repetition and feedback and evidence that human problem-solving may exploit the structure of hard problems paralleling behavior of state-of-the-art heuristics

Focal adhesion is associated with lithium response in bipolar disorder: evidence from a network-based multi-omics analysis

Lithium (Li) is one of the most effective drugs for treating bipolar disorder (BD), however, there is presently no way to predict response to guide treatment. The aim of this study is to identify functional genes and pathways that distinguish BD Li responders (LR) from BD Li non-responders (NR). An initial Pharmacogenomics of Bipolar Disorder study (PGBD) GWAS of lithium response did not provide any significant results. As a result, we then employed network-based integrative analysis of transcriptomic and genomic data. In transcriptomic study of iPSC-derived neurons, 41 significantly differentially expressed (DE) genes were identified in LR vs NR regardless of lithium exposure. In the PGBD, post-GWAS gene prioritization using the GWA-boosting (GWAB) approach identified 1119 candidate genes. Following DE-derived network propagation, there was a highly significant overlap of genes between the top 500- and top 2000-proximal gene networks and the GWAB gene list (Phypergeometric = 1.28E–09 and 4.10E–18, respectively). Functional enrichment analyses of the top 500 proximal network genes identified focal adhesion and the extracellular matrix (ECM) as the most significant functions. Our findings suggest that the difference between LR and NR was a much greater effect than that of lithium. The direct impact of dysregulation of focal adhesion on axon guidance and neuronal circuits could underpin mechanisms of response to lithium, as well as underlying BD. It also highlights the power of integrative multi-omics analysis of transcriptomic and genomic profiling to gain molecular insights into lithium response in BD.publishedVersio

Nanotools for Neuroscience and Brain Activity Mapping

Neuroscience is at a crossroads. Great effort is being invested into deciphering specific neural interactions and circuits. At the same time, there exist few general theories or principles that explain brain function. We attribute this disparity, in part, to limitations in current methodologies. Traditional neurophysiological approaches record the activities of one neuron or a few neurons at a time. Neurochemical approaches focus on single neurotransmitters. Yet, there is an increasing realization that neural circuits operate at emergent levels, where the interactions between hundreds or thousands of neurons, utilizing multiple chemical transmitters, generate functional states. Brains function at the nanoscale, so tools to study brains must ultimately operate at this scale, as well. Nanoscience and nanotechnology are poised to provide a rich toolkit of novel methods to explore brain function by enabling simultaneous measurement and manipulation of activity of thousands or even millions of neurons. We and others refer to this goal as the Brain Activity Mapping Project. In this Nano Focus, we discuss how recent developments in nanoscale analysis tools and in the design and synthesis of nanomaterials have generated optical, electrical, and chemical methods that can readily be adapted for use in neuroscience. These approaches represent exciting areas of technical development and research. Moreover, unique opportunities exist for nanoscientists, nanotechnologists, and other physical scientists and engineers to contribute to tackling the challenging problems involved in understanding the fundamentals of brain function

Internet use by older adults with bipolar disorder: international survey results

Background: The world population is aging and the number of older adults with bipolar disorder is increasing. Digital technologies are viewed as a framework to improve care of older adults with bipolar disorder. This analysis quantifies Internet use by older adults with bipolar disorder as part of a larger survey project about information seeking. Methods: A paper-based survey about information seeking by patients with bipolar disorder was developed and translated into 12 languages. The survey was anonymous and completed between March 2014 and January 2016 by 1222 patients in 17 countries. All patients were diagnosed by a psychiatrist. General estimating equations were used to account for correlated data. Results: Overall, 47% of older adults (age 60 years or older) used the Internet versus 87% of younger adults (less than 60 years). More education and having symptoms that interfered with regular activities increased the odds of using the Internet, while being age 60 years or older decreased the odds. Data from 187 older adults and 1021 younger adults were included in the analysis excluding missing values. Conclusions: Older adults with bipolar disorder use the Internet much less frequently than younger adults. Many older adults do not use the Internet, and technology tools are suitable for some but not all older adults. As more health services are only available online, and more digital tools are developed, there is concern about growing health disparities based on age. Mental health experts should participate in determining the appropriate role for digital tools for older adults with bipolar disorder.We acknowledge support by the Open Access Publication Funds of the SLUB/TU Dresden (Grant No. IN-1502335)

Internet Use by Older Adults with Bipolar Disorder: International Survey Results

Background: The world population is aging and the number of older adults with bipolar disorder is increasing. Digital technologies are viewed as a framework to improve care of older adults with bipolar disorder. This analysis quantifies Internet use by older adults with bipolar disorder as part of a larger survey project about information seeking. Methods: A paper-based survey about information seeking by patients with bipolar disorder was developed and translated into 12 languages. The survey was anonymous and completed between March 2014 and January 2016 by 1222 patients in 17 countries. All patients were diagnosed by a psychiatrist. General estimating equations were used to account for correlated data. Results: Overall, 47% of older adults (age 60 years or older) used the Internet versus 87% of younger adults (less than 60 years). More education and having symptoms that interfered with regular activities increased the odds of using the Internet, while being age 60 years or older decreased the odds. Data from 187 older adults and 1021 younger adults were included in the analysis excluding missing values. Conclusions: Older adults with bipolar disorder use the Internet much less frequently than younger adults. Many older adults do not use the Internet, and technology tools are suitable for some but not all older adults. As more health services are only available online, and more digital tools are developed, there is concern about growing health disparities based on age. Mental health experts should participate in determining the appropriate role for digital tools for older adults with bipolar disorder